首页> 外文OA文献 >A Framework for Timed Concurrent Constraint Programming with External Functions 1

【2h】

A Framework for Timed Concurrent Constraint Programming with External Functions 1

机译：具有外部函数的定时并发约束编程框架1

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
M. Alpuente A; B. Gramlich B; A. Villanueva A;
展开▼
作者单位

展开▼
年度 2008
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A Symbolic Model for Timed Concurrent Constraint Programming [J] . Jaime Arias, Michell Guzmán, Carlos Olarte Electronic Notes in Theoretical Computer Science . 2015,第2期

机译：定时并发约束编程的符号模型
2. Abstract diagnosis for timed concurrent constraint programs [J] . MARCO COMINI, LAURA TITOLO, ALICIA VILLANUEVA Theory and Practice of Logic Programming . 2011,第PTa4a5期

机译：定时并发约束程序的抽象诊断
3. Automatic verification of timed concurrent constraint programs [J] . MORENO FALASCHI, ALICIA VILLANUEVA Theory and Practice of Logic Programming . 2006,第Pt3期

机译：自动验证定时并发约束程序
4. A framework for abstract interpretation of timed concurrent constraint programs [C] . Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming . 2009

机译：定时并发约束程序的抽象解释框架
5. An Integrated Static and Dynamic Program Analysis Framework for Checking Concurrency-Related Programming Errors. [D] . Chen, Qichang. 2011

机译：一个集成的静态和动态程序分析框架，用于检查与并发相关的编程错误。
6. Reconciling Pairs of Concurrently Used Clinical Practice Guidelines Using Constraint Logic Programming [O] . Szymon Wilk, Martin Michalowski, Wojtek Michalowski, 2011

机译：使用约束逻辑程序协调当前使用的临床实践指南对
7. A Framework for Timed Concurrent Constraint Programming with External Functions [O] . Alpuente M., Gramlich B., Villanueva A. 2007

机译：具有外部函数的定时并发约束编程框架

A Framework for Timed Concurrent Constraint Programming with External Functions 1

著录项

引文网络

相似文献

相关主题

期刊订阅